1. Automated Reasoning
Author: / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Computer logic--Congresses
2. Computation, proof, machine :
Author: Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- History,Mathematics-- History-- 20th century,Mathematics, Ancient
3. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
Author: Gilles Dowek ... ]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1074
4. Introduction to the Theory of Programming Languages
Author: / vyفJacques L-Gilles Dowek, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
5. Introduction to the theory of programming languages
Author: Gilles Dowek, Jean-Jacques Laevy,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages )Electronic computers(,Programming languages )Electronic computers(^aSemantics
Classification :
QA
.
D6813
76
.
7
2011
6. Introduction to the theory of programming languages
Author: / Gilles Dowek, Jean-Jacques Laevy
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
D6813
,
2011
7. Introduction to the theory of programming languages, Introduction ?a la thaeorie des langages de programmation.English
Author: Dowek, Gilles., Gilles Dowek, Jean-Jacques Laevy
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(, Semantics
Classification :
QA
76
.
7
.
D6813
2011
8. Le temps des algorithmes
Author: Serge Abiteboul et Gilles Dowek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: [Ouvrages généraux]
9. Les métamorphoses du calcul :
Author: Gilles Dowek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
10. Principles of programming languages
Author: / Gilles Dowek
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)
Classification :
QA
,
76
.
7
,.
D69
,
2009
11. Proofs and Algorithms
Author: / Gilles Dowek
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
12. Proofs and Algorithms : Introduction to Logic and Computability Theory
Author: Dowek, Gilles
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
Classification :
QA
76
.
9
.
L36D68
13. Proofs and Algorithms: an introduction to logic and computability
Author: Dowek, Gilles
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
Classification :
QA
9
.
D68
2011
14. Proofs and algorithm
Author: / Gilles Dowek
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Algorithms.
Classification :
QA9
,.
D68
,
2011
15. Proofs and algorithms
Author: Gilles Dowek
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Logic, Symbolic and mathematical,Algorithms
Classification :
QA
9
.
D66P7
2011
16. Proofs and algorithms: An introduction to logic and computability
Author: / Gilles Dowek (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
17. Proofs and algorithms an introduction to logic and computability
Author: Dowek, Gilles., Gilles Dowek
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Algorithms
Classification :
QA
76
.
P7
D6
2011
18. Rewriting and Typed Lambda Calculi
Author: / Gilles Dowek
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
